Exponential Functor
https://ncatlab.org/nlab/show/exponential+object
https://arxiv.org/abs/1804.05807